翻訳と辞書
Words near each other
・ Axiologina ferumequinum
・ Axiology
・ Axiom
・ Axiom (album)
・ Axiom (Australian band)
・ AXIOM (camera)
・ Axiom (computer algebra system)
・ Axiom (disambiguation)
・ Axiom (record label)
・ Axiom A
・ Axiom Business Book Awards
・ Axiom CMS
・ Axiom Collection
・ Axiom Films
・ Axiom independence
Axiom of adjunction
・ Axiom of categoricity
・ Axiom of Causality
・ Axiom of choice
・ Axiom of Choice (band)
・ Axiom of choice (disambiguation)
・ Axiom of constructibility
・ Axiom of countability
・ Axiom of countable choice
・ Axiom of dependent choice
・ Axiom of determinacy
・ Axiom of empty set
・ Axiom of Equity
・ Axiom of extensionality
・ Axiom of global choice


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Axiom of adjunction : ウィキペディア英語版
Axiom of adjunction
In mathematical set theory, the axiom of adjunction states that for any two sets ''x'', ''y'' there is a set ''w'' = ''x'' ∪  given by "adjoining" the set ''y'' to the set ''x''.
: \forall x \,\forall y \,\exists w \,\forall z\, (z \in w \leftrightarrow (z \in x \or z=y) ).
introduced the axiom of adjunction as one of the axioms for a system of set theory that he introduced in about 1929.
It is a weak axiom, used in some weak systems of set theory such as general set theory or finitary set theory. The adjunction operation is also used as one of the operations of primitive recursive set functions.
Tarski and Smielew showed that Robinson arithmetic can be interpreted in a weak set theory whose axioms are extensionality, the existence of the empty set, and the axiom of adjunction .
==References==

*
*
*
* Tarski, A., and Givant, Steven (1987) ''A Formalization of Set Theory without Variables''. Providence RI: AMS Colloquium Publications, v. 41.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Axiom of adjunction」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.